#!/bin/bash

FileName=$1

NameWithoutExt=`basename $FileName .txt`

abcm2ps $FileName -O $NameWithoutExt.ps 

ps2pdf $NameWithoutExt.ps

rm $NameWithoutExt.ps
